xen/arm: Use the device tree to map the address range and IRQ to dom0
authorJulien Grall <julien.grall@linaro.org>
Sat, 27 Apr 2013 21:43:35 +0000 (22:43 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 13 May 2013 11:00:00 +0000 (12:00 +0100)
commite20feb2925e4dc7459c18accb667b32892463ce0
treefbb9779c283639677b538eb26725e72f6c765cfe
parent3baf9f2371f1627f186dba7a2d6db51f39745ce5
xen/arm: Use the device tree to map the address range and IRQ to dom0

- gic_route_irq_to_guest takes a dt_irq instead of an IRQ number
- remove hardcoded address/IRQ

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c
xen/arch/arm/gic.c
xen/include/asm-arm/gic.h